model verification

This algorithm satisfies all the main aspects of state machine test model verification.

这个算法可以满足状态机测试的主要验证标准.

互联网摘选

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

互联网摘选

Study on Preparation of Raney Cu catalysts ⅰ alkali leaching kinetics model verification

Raney Cu催化剂制备规律的研究Ⅱ碱抽提动力学模型验证

互联网摘选

molten material transport model verification for a fast reactor

快堆内熔融物传播模型的验证

互联网摘选

Last, this paper summarized advantage and limitation of UCaS tools and give a outlook for AADL model verification tools further research and development.

论文最后总结了UCaS工具的优点及局限性，对AADL模型验证工具的后继研究和发展进行了展望。

互联网摘选

Difference between geoid and quasi-geoid and its model verification

大地水准面与似大地水准面之差及其模型检核

互联网摘选

The Model Verification in Crop Simulation Model ing

作物模拟研究中的模型检验

互联网摘选

the model verification shows that the bayes algorithm is effective to model the task concentration and the cooperative reaction before the car-following model is implemented.

模型验证表明：交通仿真过程中，在车辆跟驰模型实施之前，利用Bayes算法模型化驾驶员在多源信息刺激下任务集聚、协同反应的过程是行之有效的。

互联网摘选

It involves five parts of Input-output data generation, program block call of about ten sorts, result treatment, model order and delay time determination and model verification.

它包括输入/输出数据的生成，近十种辨识程序模块的调用，结果的处理，模型阶次与纯滞后时间的确定和模型校验等五大部分。

互联网摘选

Developed a software which can be used for data acquisition, the identification of structure and parameters, the model verification and optimization, the numerical simulation of dynamic characters and so on; Set up an analog experiment system to take some dynamic tests and perform real-time identification.

开发了具有数据采集、结构与参数辨识、模型校验与优化和动态特性数字仿真等多种功能的通用软件，建立了模拟实验系统进行系统动态试验和实时辨识验证。

互联网摘选